Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
461	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-11-30 14:35:51 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
462	Digging For Data Structures Anthony Cozzie, Frank Stratton, Hui Xue, and Samuel T. King University of Illinois at Urbana-Champaign Abstract Add to Reading List Source URL: www.acoz.net Language: English - Date: 2010-06-10 18:44:04 Data types C++ Type theory Memory management Primitive types Pointer Type safety C Reference Software engineering Computing Computer programming
463	Sibling Rivalry: C and C++ Bjarne Stroustrup AT&T Labs Florham Park, NJ, USA ABSTRACT Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:52 C programming language C++ Data types Cross-platform software Type theory C99 C Inline function Pointer Computing Computer programming Software engineering
464	A Principled, Complete, and Efficient Representation of C++ Gabriel Dos Reis and Bjarne Stroustrup Abstract. We present a systematic representation of C++, called IPR, for complete semantic analysis and semantics-based p Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:46 C++ Data types Type theory Cross-platform software Generic programming C++11 Type safety Decltype Type system Software engineering Computing Programming language theory
465	SIAM J. SCI. COMPUT. Vol. 32, No. 5, pp. 2853–2874 c 2010 Society for Industrial and Applied Mathematics Add to Reading List Source URL: www.iprpi.rpi.edu Language: English - Date: 2014-06-26 17:13:09 Numerical analysis Fast marching method Queue Applied mathematics Science Mathematics Mathematical physics Computational science Abstract data types
466	Open Data Structures (in C++) Edition 0.1Gβ Pat Morin Add to Reading List Source URL: opendatastructures.org Language: English - Date: 2014-02-04 16:03:05 Computing Computer programming Data structures Mathematics C++ Standard Library Hash table Double-ended queue Sequence container Heap Binary trees Abstract data types Search algorithms
467	Open Data Structures (in C++) Edition 0.1Gβ Pat Morin Add to Reading List Source URL: opendatastructures.org Language: English - Date: 2014-02-04 16:01:29 Computing Computer programming Data structures Mathematics C++ Standard Library Hash table Double-ended queue Sequence container Heap Binary trees Abstract data types Search algorithms
468	Stat405 Data structures Hadley Wickham Tuesday, October 16, 12 1. Atomic vectors Add to Reading List Source URL: stat405.had.co.nz Language: English - Date: 2012-10-16 14:04:52 Linear algebra Data types Array data type Vector space ALGOL 68 Euclidean vector Matrix Array data structure Algebra Mathematics Abstract algebra
469	A Wait-Free Queue for Multiple Enqueuers and Multiple Dequeuers Using Local Preferences and Pragmatic Extensions Philippe Stellwag, Alexander Ditter, Wolfgang Schr¨oder-Preikschat Friedrich-Alexander University Erlangen Add to Reading List Source URL: www4.cs.fau.de Language: English - Date: 2009-07-08 02:37:05 Double-ended queue Semaphore Computing Mathematics Theoretical computer science Abstract data types Tree traversal Queue
470	Open Data Structures (in pseudocode) Edition 0.1Gβ Pat Morin Add to Reading List Source URL: opendatastructures.org Language: English - Date: 2014-02-04 23:13:42 Computing Computer programming Data structures Mathematics C++ Standard Library Hash table Double-ended queue Sequence container Heap Binary trees Abstract data types Search algorithms

UPDATE